GUESSARIAN, IRÈNE: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Iterative and recursive matrix theories

David B Benson, Irène Guessarian

Journal:

Journal of Algebra

Year:

1984

Language:

english

File:

PDF, 700 KB

english, 1984

2

Foreword

Corrado Böhm, Irène Guessarian

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 121 KB

english, 1999

3

Newton representation of functions over natural integers having integral difference ratios

Cégielski, Patrick, Grigorieff, Serge, Guessarian, Irène

Journal:

International Journal of Number Theory

Year:

2015

Language:

english

File:

PDF, 380 KB

english, 2015

4

On some classes of interpretations

Bruno Courcelle, Irène Guessarian

Journal:

Journal of Computer and System Sciences

Year:

1978

Language:

english

File:

PDF, 1.30 MB

english, 1978

5

Algebraic solutions to recursion schemes

David B. Benson, Irène Guessarian

Journal:

Journal of Computer and System Sciences

Year:

1987

Language:

english

File:

PDF, 1.93 MB

english, 1987

6

Fixpoint strategies for deductive databases

Irène Guessarian

Journal:

Discrete Applied Mathematics

Year:

1989

Language:

english

File:

PDF, 422 KB

english, 1989

7

Intensional logics: L. Fariñas del Cerro, M. Penttonen, eds., (Clarendon Press, Oxford, 1992)

Irene Guessarian

Journal:

Science of Computer Programming

Year:

1995

Language:

english

File:

PDF, 144 KB

english, 1995

8

Program transformations and algebraic semantics

Irène Guessarian

Journal:

Theoretical Computer Science

Year:

1979

Language:

english

File:

PDF, 2.66 MB

english, 1979

9

Window-accumulated subsequence matching problem is linear

Luc Boasson, Patrick Cegielski, Irène Guessarian, Yuri Matiyasevich

Journal:

Annals of Pure and Applied Logic

Year:

2001

Language:

english

File:

PDF, 190 KB

english, 2001

10

The expressiveness of DAC

Foto Afrati, Irène Guessarian, Michel de Rougemont

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 247 KB

english, 2002

11

On temporal logic versus datalog

Irène Guessarian, Eugénie Foustoucos, Theodore Andronikos, Foto Afrati

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 381 KB

english, 2003

12

Translation of logic programs into functional fixpoint equations

Georges Gardarin, Irène Guessarian, Christophe de Maindreville

Journal:

Theoretical Computer Science

Year:

1989

Language:

english

File:

PDF, 2.34 MB

english, 1989

13

Multiple serial episodes matching

Patrick Cégielski, Irène Guessarian, Yuri Matiyasevich

Journal:

Information Processing Letters

Year:

2006

Language:

english

File:

PDF, 141 KB

english, 2006

14

On the minimal number of × operators to model regularity in fair SCCS

Irène Guessarian, Lutz Priese

Journal:

Information Processing Letters

Year:

1988

Language:

english

File:

PDF, 294 KB

english, 1988

15

On the Axiomatization of “If-Then-Else”

Guessarian, Irène, Meseguer, José

Journal:

SIAM Journal on Computing

Year:

1987

Language:

english

File:

PDF, 2.77 MB

english, 1987

16

On lattices of regular sets of natural integers closed under decrementation

Cégielski, Patrick, Grigorieff, Serge, Guessarian, Irène

Journal:

Information Processing Letters

Year:

2014

Language:

english

File:

PDF, 233 KB

english, 2014

17

About Boundedness for some Datalog and Datalog neg Programs

GUESSARIAN, IRÈNE, VELOSO-PEIXOTO, MARCOS

Journal:

Journal of Logic and Computation

Year:

1994

Language:

english

File:

PDF, 1.23 MB

english, 1994

18

[Lecture Notes in Computer Science] Semantics of Systems of Concurrent Processes Volume 469 || Flow event structures and flow nets

Guessarian, Irène

Year:

1990

Language:

english

File:

PDF, 2.12 MB

english, 1990

19

[ACM Press the eighteenth ACM SIGMOD-SIGACT-SIGART symposium - Philadelphia, Pennsylvania, United States (1999.05.31-1999.06.03)] Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '99 - Window-accumulated subsequence matching problem is linear

Boasson, Luc, Cegielski, Patrick, Guessarian, Irène, Matiyasevich, Yuri

Year:

1999

Language:

english

File:

PDF, 1.08 MB

english, 1999

20

[North-Holland Mathematics Studies] Orders: Description and Roles - In Set Theory, Lattices, Ordered Groups, Topology, Theory of Models and Relations, Combinatorics, Effectiveness, Social Sciences, Proceedings of the Conference on Ordered Sets and their Application Château dc la Tourcttc; Ordres: Description et Rôles - En Théorie des Treillis, des Groupes Ordonnés; en Topologie, Théorie des Modèles et des Relations, Cornbinatoire, Effectivité, Sciences Sociales, Actes de la Conférence sur ies Ensembles Ordonnés et leur Applications Château de la Tourette Volume 99 || About Ordered Sets in Algebraic Semantics

Guessarian, Irène

Year:

1984

Language:

english

File:

PDF, 1.41 MB

english, 1984

21

Congruence preserving functions on free monoids

Cégielski, Patrick, Grigorieff, Serge, Guessarian, Irène

Journal:

Algebra Universalis

Year:

2017

Language:

english

File:

PDF, 978 KB

english, 2017

22

Fairness and regularity for SCCS processes

Guessarian, Irène, Niar-Dinedane, Wafâa

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

1989

File:

PDF, 2.18 MB

1989